21. Formal specification and software development
Author: Bjorner, Dines
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
B575
1982
22. Formal specification and software development
Author: Bjorner, Dines, 7391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer software -- Development,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
B575
23. Guide to Scientific Computing in C++ /
Author: by Joe Pitt-Francis, Jonathan Whiteley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
6-76
.
66
24. Introducing the MySQL 8 document store /
Author: Charles Bell.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MySQL (Electronic resource),MySQL (Electronic resource),Database management.,Databases.,Computer programming-- software development.,COMPUTERS-- Programming Languages-- SQL.,Database management.,Databases.,Databases.
Classification :
QA76
.
73
.
S67
25. It's all about coordination :
Author: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
58
.
I87
2018eb
26. Languages, methodologies, and development tools for multi-agent systems :
Author: Mehdi Dastani ... [et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
Classification :
QA76
.
76
.
I58
L33
2009
27. Languages, methodologies, and development tools for multi-agent systems :
Author: Mehdi Dastani ... [et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
Classification :
QA76
.
76
.
I58
L33
2009
28. Larch
Author: John V. Guttag, James J. Horning ; with S.J. Garland ... ]et al.[
Library: Vali Asr University Central Library (Kerman)
Subject: Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(
Classification :
QA
76
.
6
.
H66
1993
29. Larch
Author: John V. Guttag, James J. Horning ; with S.J. Garland ... ]et al.[
Library: Vali Asr University Central Library (Kerman)
Subject: Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(
Classification :
QA
76
.
6
.
H66
1993
30. Learn Android Studio 3 with Kotlin :
Author: Ted Hagos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Android (Electronic resource),Android (Electronic resource),Application software-- Development.,Application software-- Development.,Computer programming-- software development.,COMPUTERS-- Operating Systems-- Android.,COMPUTERS-- Programming-- Mobile Devices.,Mobile & handheld device programming-- Apps programming.,Programming & scripting languages: general.
Classification :
QA76
.
76
.
A65
31. Learn Java for Android development /
Author: Jeff "JavaJeff" Friesen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Android (Electronic resource),Android (Electronic resource),Android (Electronic resource),Computer software-- Development.,Java (Computer program language),Computer software-- Development.,Computer software-- Development.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Informatique.,Java (Computer program language),Java (Computer program language)
Classification :
QA76
.
73
.
J38
F75
2010eb
32. Learn Swift by Building Applications :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: iOS (Electronic resource),IOS (Electronic resource),Application software-- Development.,Mobile apps.,Swift (Computer program language),Application software-- Development.,COMPUTERS-- Programming Languages-- General.,COMPUTERS-- Software Development & Engineering-- General.,Mobile & handheld device programming-- Apps programming.,Mobile apps.,Operating systems.,Programming & scripting languages: general.,Swift (Computer program language)
Classification :
QA76
.
73
.
S95
A836
2018eb
33. Mastering Qt 5 :
Author: Guillaume Lazar, Robin Penea.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Qt (Electronic resource),Qt (Electronic resource),Application software.,Application software.,Business applications.,Computer programming / software development.,Computers-- Desktop Applications-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- C.,Programming & scripting languages: general.
Classification :
QA76
.
9
.
U83
34. Mastering Rust :
Author: Vesa Kaihlavirta.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Computer programming.,Programming languages (Electronic computers),Application software-- Development.,Computer programming.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- General.,COMPUTERS-- Programming-- Object Oriented.,Programming languages (Electronic computers)
Classification :
QA76
.
7
35. MetaSoft primer :
Author: Andrzej Blikle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Metalanguage.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
7
.
B57
1987
36. MetaSoft primer : towards a metalanguage for applied denotational semantics
Author: Andrzej Blikle
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Metalanguage,، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
288
37. MySQL Connector/Python revealed :
Author: Jesper Wisborg Krogh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MySQL (Electronic resource),MySQL (Electronic resource),Python (Computer program language),Computer programming-- software development.,COMPUTERS-- Databases-- General.,Databases.,Programming & scripting languages: general.,Python (Computer program language)
Classification :
QA76
.
9
.
D32
38. Practical TLA+ :
Author: Hillel Wayne.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.
Classification :
QA76
.
7
39. Practical rails projects /
Author: Eldon Alameda.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ruby on rails (Electronic resource),Ruby on rails (Electronic resource),Ruby on rails (Electronic resource),Ruby on rails (Electronic resource),Application software-- Design.,Online social networks.,Ruby (Computer program language),Web site development.,Application software-- Design.,Computer programming.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,COMPUTERS-- Programming-- Object Oriented.,Informatique.,Online social networks.,Online social networks.,Ruby (Computer language),Ruby (Computer program language),Ruby (Computer program language),Web site development.,Web site development.,Web sites-- Design.
Classification :
QA76
.
64
.
A44
2007eb
40. Pro Android with Kotlin :
Author: Peter Späth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Android (Electronic resource),Android (Electronic resource),Application software-- Development.,Mobile apps.,Application software-- Development.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mobile & handheld device programming-- Apps programming.,Mobile apps.,Programming & scripting languages: general.,WAP (wireless) technology.
Classification :
QA76
.
59
.
S63
2018
